Formal semantics - PDFSEARCH.IO - Document Search Engine

Formal semantics
Results: 502

#	Item
441	to be published in: Foundations of Science 4(1), 1999 Advantages and limitations of formal Add to Reading List Source URL: pespmc1.vub.ac.be Language: English - Date: 2014-05-02 12:27:22 Philosophical logic Formal languages Philosophy of language Philosophy of mathematics Semantics Expression Regular expression Meaning Fuzzy logic Logic Mathematics Philosophy
442	Socially Responsive, Environmentally Friendly Logic Samson Abramsky Oxford University Computing Laboratory Abstract We consider the following questions: What kind of logic has a natural semantics in Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:33:53 Semantics Formal languages Predicate logic Independence-friendly logic Game semantics Interpretation First-order logic Model theory Entailment Logic Philosophical logic Metalogic
443	WRLA[removed]A Rewriting Semantics for Maude Strategies Narciso Mart´ı-Olieta, Jos´e Meseguerb , and Alberto Verdejoa a b Add to Reading List Source URL: maude.sip.ucm.es Language: English - Date: 2007-12-31 03:35:21 Applied mathematics Maude system Denotational semantics Formal language Structure Combinatory logic Rewriting Operational semantics Strategy Theoretical computer science Logic in computer science Mathematics
444	Curriculum vitae Robin Cooper Add to Reading List Source URL: www.ling.gu.se Language: English - Date: 2013-04-17 05:37:22 Logic John Perry Montague grammar Computational semantics Formal semantics Generative semantics Pragmatics Quantification James Higginbotham Semantics Linguistics Philosophy of language
445	ACSL By Example Towards a Verified C Standard Library Add to Reading List Source URL: www.fokus.fraunhofer.de Language: English - Date: 2013-12-13 09:57:19 Software Formal methods Generic programming Algorithm Mathematical logic Theoretical computer science Stack Predicate transformer semantics Frama-C Mathematics C++ Standard Library Computing
446	Teaching program specification and verification using JML and ESC/Java2 Erik Poll Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2009-08-15 11:27:47 Logic in computer science Formal methods ESC/Java Programming paradigms Static program analysis Predicate transformer semantics KeY Postcondition Invariant Software engineering Theoretical computer science Computing
447	Circular Logic for Computational Semantics Dr. Axel Arturo Barceló Aspeitia Instituto de Investigaciones Filosóficas Add to Reading List Source URL: www.filosoficas.unam.mx Language: English - Date: 2013-02-18 15:25:56 Metalogic Propositional calculus Mathematical logic Well-formed formula Interpretation Entailment First-order logic Tautology Expression Logic Logical syntax Formal languages
448	Brinkman et al. Journal of Biomedical Semantics 2010, 1(Suppl 1):S7 http://www.jbiomedsem.com/content/1/S1/S7 Add to Reading List Source URL: www.biomedcentral.com Language: English Bioinformatics Knowledge Information science Technical communication Semantic Web Ontology for Biomedical Investigations OBO Foundry Open Biomedical Ontologies Formal ontology Ontology Science Information
449	J , Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:32:38 Mathematical logic Programming language semantics Programming paradigms Models of computation Formal methods Denotational semantics Semantics of programming languages Programming language Operational semantics Mathematics Theoretical computer science Logic in computer science
450	Safety Checking of Machine Code Zhichen Xu Add to Reading List Source URL: ftp.cs.wisc.edu Language: English - Date: 2004-03-27 21:08:37 Data types Type theory Formal methods Pointer Predicate transformer semantics Sequence container Stack Compiler optimization Type safety Computing Software engineering Programming language theory

UPDATE